//获取字符串第几次出现的位置
function findStrIndex(str, cha, num){
    var x = str.indexOf(cha);
    for (var i = 0; i < num; i++) {
        x = str.indexOf(cha, x + 1);
    }
    return x;
}
//根据系统替换路径(字符串某一字符全替换)
function replacePath(path){
    var os=GetOSInfo()
    if(os.charAt(0)=="W"){
        path=path.replace(/\\/g,"\\\\")
    }else{
        path=path.replace(/\\/g,"////")
    }
}
